数式処理(その3) 将来に向けて